1

On Priest's logic of paradox

Year:
1995
Language:
english
File:
PDF, 351 KB
english, 1995
2

Characterizing Belnap's Logic via De Morgan's Laws

Year:
1995
Language:
english
File:
PDF, 684 KB
english, 1995
3

Subquasivarieties of implicative locally-finite quasivarieties

Year:
2010
Language:
english
File:
PDF, 239 KB
english, 2010
4

Implicational classes of De Morgan lattices

Year:
1999
Language:
english
File:
PDF, 106 KB
english, 1999
6

Fuzzy semantics for multiple-conclusion sequential calculi with structural rules

Year:
2001
Language:
english
File:
PDF, 143 KB
english, 2001
7

Definitional equivalence and algebraizability of generalized logical systems

Year:
1999
Language:
english
File:
PDF, 4.09 MB
english, 1999
9

Algebraic study of Sette's maximal paraconsistent logic

Year:
1995
Language:
english
File:
PDF, 2.35 MB
english, 1995
11

Extensions of Hałkowska–Zajac's three-valued paraconsistent logic

Year:
2002
Language:
english
File:
PDF, 93 KB
english, 2002
12

Distributive-Lattice Semantics of Sequent Calculi with Structural Rules

Year:
2009
Language:
english
File:
PDF, 490 KB
english, 2009
13

Many-Place Sequent Calculi for Finitely-Valued Logics

Year:
2010
Language:
english
File:
PDF, 424 KB
english, 2010
14

Implicational classes of De Morgan Boolean algebras

Year:
2001
Language:
english
File:
PDF, 87 KB
english, 2001
15

Subprevarieties Versus Extensions. Application to the Logic of Paradox

Year:
2000
Language:
english
File:
PDF, 267 KB
english, 2000
17

Regular bilattices

Year:
2000
Language:
english
File:
PDF, 855 KB
english, 2000
18

Algebraic Study of Sette's Maximal Paraconsistent Logic

Year:
1995
Language:
english
File:
PDF, 3.61 MB
english, 1995